(((ENSPRET00000014723,ENSPFOT00000000386),ENSCINT00000023996),F08F1.5.1);